JFP): 218–283, c Cambridge University Press 2014 ⃝ 218

Source URL: ilyasergey.net

• Models of computation
• Formal languages
• Pushdown automaton
• Finite automata
• Nondeterministic finite automaton
• Computability
• Abstract interpretation
• Context-free language
• Symbol
• Nested stack automaton
• Tree stack automaton

Abstract Program Slicing: Abstract interpretation-based approaches to Slicing Isabella Mastroeni (Ðurica Nikoli´c and Damiano Zanardini) Dipartimento di Informatica, University of Verona, Italy

Source URL: crest.cs.ucl.ac.uk

A Method for Symbolic Computation of Abstract Operations? Aditya Thakur1 and Thomas Reps1,2 1 University of Wisconsin; Madison, WI, USA

Source URL: research.cs.wisc.edu

• Symbol
• Abstract interpretation
• Constructible universe
• NC
• Algorithm

Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

Source URL: www.cs.yale.edu

• Logic in computer science
• Symposium on Principles of Programming Languages
• International Semantic Web Conference
• Separation logic
• Automated reasoning
• Computer Aided Verification
• Abstract interpretation
• Vasant Honavar
• Vienna Summer of Logic

An Abstract Domain for Bit-Vector Inequalities⋆ Tushar Sharma1 , Aditya Thakur1 , and Thomas Reps1,2 1 University of Wisconsin; Madison, WI, USA 2

Source URL: research.cs.wisc.edu

• Algebra
• Mathematics
• Vectors
• Mathematical analysis
• Linear algebra
• Abstract interpretation
• Vector space
• Euclidean vector
• X86
• Derivative
• FO
• Information Processing Language

Introduction to Abstract Interpretation Bruno Blanchet D´epartement d’Informatique ´ Ecole Normale Sup´erieure, Paris and Max-Planck-Institut f¨

Source URL: prosecco.gforge.inria.fr

Mechanically Verified Calculational Abstract Interpretation David Darais David Van Horn University of Maryland

Source URL: david.darais.com

UFO: Verification with Interpolants and Abstract Interpretation (Competition Contribution) Aws Albarghouthi1 , Arie Gurfinkel2 , Yi Li1 , Sagar Chaki2 , and Marsha Chechik1 1

Source URL: www.cs.utoronto.ca

The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr

Source URL: vstte.ethz.ch

Judgment and Decision Making, Vol. 9, No. 5, September 2014, pp. 387–402 An interpretation of focal point responses as non-additive beliefs Aylit Tina Romm∗ Abstract This paper provides a novel interpretation of foc

Source URL: www.decisionsciencenews.com